This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...
اقرأ المزيدThis book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...
اقرأ المزيدThis book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI ...
اقرأ المزيدThe Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...
اقرأ المزيدAs software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
اقرأ المزيدThis book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Artificial ...
اقرأ المزيدThis 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
اقرأ المزيدThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
اقرأ المزيدThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيد